Ultraproducts and Related Constructions

In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics are reviewing here include aspects model theory first-order second-order existential logics, finite Ramsey general topology. Special emphasis has made for producing a uniform treatment highlighting interconnections between these subjects.